From 96905f367b75df68b45656b915c719c4d1264b63 Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Fri, 30 Dec 2005 17:11:05 +0100 Subject: [PATCH] Fix rdmsrl() for x86_32 -- high 32 bits must be cast to u64 before shifting left. Signed-off-by: Avi Kivity --- xen/include/asm-x86/msr.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/include/asm-x86/msr.h b/xen/include/asm-x86/msr.h index f9a07e4791..3c1e8fb6ba 100644 --- a/xen/include/asm-x86/msr.h +++ b/xen/include/asm-x86/msr.h @@ -12,7 +12,7 @@ __asm__ __volatile__("rdmsr" \ : "=a" (a__), "=d" (b__) \ : "c" (msr)); \ - val = a__ | (b__<<32); \ + val = a__ | ((u64)b__<<32); \ } while(0); #define wrmsr(msr,val1,val2) \ -- 2.30.2